In “Toward an Ontology of Commercial Exchange” [11], we proposed human readable definitions for terms that are central to an ontology of commercial exchange. This paper furthers that project in two ways. First, the definitions have been modified to be compatible with the Common Core Ontologies (CCO). CCO is used in a wide variety of domains including the industrial and military domains. Having a commerce ontology compatible with CCO allows data about the exchange of goods relevant to those domains to (...) be tagged with compatible ontologies. Second, we propose preliminary formalizations of these definitions, with the aim of informing the creation of an ontology which can be used to assist in reasoning over businessrelated data. (shrink)

This article attempts to answer a question that many dancers and non-dancers may have. What is dance according to the media? Furthermore, how does the written word portray dance in the media? To answer these ques-tions, this research focuses on the role that the discourse of dance in media plays in the public sphere’s knowledge construction of dance. This is impor-tant to study because the public sphere’s meaning of dance will determine whether dance education is promoted or banned in schools (...) and in society. The aim of this paper is to contribute to the existing literature of dance in the media. One limitation of this contribution is that the research uses only newspaper articles as a source of analysis. Future research should include an analysis of visual and audio clips of dance as portrayed in the media. (shrink)

We propose capability as a universal or type intermediate between function and disposition. A capability is, broadly speaking, a disposition that is of a type whose instances can be evaluated on the basis of how well they are realized. A function, on the view we are proposing, is a capability the possession of which is the rationale for the existence of its bearer. To say for example that a water pump has the function to pump water is to say that (...) the pump exists because something was needed that would pump water. A water pump may have many capabilities, including: to be weatherproof, to run without lubricant, to be transportable, and so forth. But its function is to pump water. We focus here on capabilities possessed by humans – such as piano playing or language using – and we explore the relation between capabilities of these sorts and structures in the brain. (shrink)

In this paper we propose an Ontology of Commercial Exchange (OCE) based on Basic Formal Ontology. OCE is designed for re-use in the Industrial Ontologies Foundry (IOF) and in other ontologies addressing different aspects of human social behavior involving purchasing, selling, marketing, and so forth. We first evaluate some of the design patterns used in the Financial Industry Business Ontology (FIBO) and Product Types Ontology (PTO). We then propose terms and definitions that we believe will improve the representation of contractual (...) obligations, sales processes, and their associated documents. A commercial exchange, for instance, involves mutual agreement to reciprocate actions, such as transferring money, performing a service, or transferring goods. (shrink)

We propose a definition of capability as a class intermediate between function and disposition as the latter are defined in Basic Formal Ontology (BFO). A disposition inheres in a material entity and is realized in a certain kind of process. An example is the disposition of a glass to break when struck, which is realized when it shatters. A function is a disposition which is (simply put) the rationale for the existence of its bearer. To say for example that a (...) water pump has the function to pump water is to say that the pump exists because something was needed that would pump water. Capabilities are a special sort of disposition in that that, like functions, they can be evaluated on the basis of how well they are realized. They differ from functions in that their realizations are not the rationale – not the primary reason – for the existence of their bearers. Thus, a water pump may have many capabilities, including to be weatherproof, to run without lubricant, and so forth, but only one function. All functions are capabilities on the view we defend, but not all capabilities are functions. We develop a series of axioms to distinguish capabilities formally from both dispositions and functions and provide examples of the use of ‘capability’ in a variety of domains. (shrink)

Applied ontologies have been used more and more frequently to enhance systems engineering. In this paper, we argue that adopting principles of ontological realism can increase the benefits that ontologies have already been shown to provide to the systems engineering process. Moreover, adopting Basic Formal Ontology (BFO), an ISO standard for top-level ontologies from which more domain specific ontologies are constructed, can lead to benefits in four distinct areas of systems engineering: (1) interoperability, (2) standardization, (3) testing, and (4) data (...) exploitation. Reaping these benefits in a model-based systems engineering (MBSE) context requires utilizing an ontology’s vocabulary when modeling systems and entities within those systems. If the chosen ontology abides by the principles of ontological realism, a semantic standard capable of uniting distinct domains, using BFO as a hub, can be leveraged to promote greater interoperability among systems. As interoperability and standardization increase, so does the ability to collect data during the testing and implementation of systems. These data can then be reasoned over by computational reasoners using the logical axioms within the ontology. This, in turn, generates new data that would have been impossible or too inefficient to generate without the aid of computational reasoners. (shrink)

COVID-19 often manifests with different outcomes in different patients, highlighting the complexity of the host-pathogen interactions involved in manifestations of the disease at the molecular and cellular levels. In this paper, we propose a set of postulates and a framework for systematically understanding complex molecular host-pathogen interaction networks. Specifically, we first propose four host-pathogen interaction (HPI) postulates as the basis for understanding molecular and cellular host-pathogen interactions and their relations to disease outcomes. These four postulates cover the evolutionary dispositions involved (...) in HPIs, the dynamic nature of HPI outcomes, roles that HPI components may occupy leading to such outcomes, and HPI checkpoints that are critical for specific disease outcomes. Based on these postulates, an HPI Postulate and Ontology (HPIPO) framework is proposed to apply interoperable ontologies to systematically model and represent various granular details and knowledge within the scope of the HPI postulates, in a way that will support AI-ready data standardization, sharing, integration, and analysis. As a demonstration, the HPI postulates and the HPIPO framework were applied to study COVID-19 with the Coronavirus Infectious Disease Ontology (CIDO), leading to a novel approach to rational design of drug/vaccine cocktails aimed at interrupting processes occurring at critical host-coronavirus interaction checkpoints. Furthermore, the host-coronavirus protein-protein interactions (PPIs) relevant to COVID-19 were predicted and evaluated based on prior knowledge of curated PPIs and domain-domain interactions, and how such studies can be further explored with the HPI postulates and the HPIPO framework is discussed. (shrink)

We propose a domain-level ontology of plays for the facilitation of play-based collaborative autonomy among unmanned and manned-unmanned aircraft teams in the Army’s Unmanned Aircraft System (UAS) mission domain. We define a play as a type of plan that prescribes some pattern of intentional acts that are intended to reliably result in some goal in some competitive context, and which specifies one or more roles that are realized by those prescribed intentional acts. The ontology is well suited to be extended (...) to other types of military and nonmilitary unmanned vehicle operations. (shrink)

The current COVID-19 pandemic and the previous SARS/MERS outbreaks of 2003 and 2012 have resulted in a series of major global public health crises. We argue that in the interest of developing effective and safe vaccines and drugs and to better understand coronaviruses and associated disease mechenisms it is necessary to integrate the large and exponentially growing body of heterogeneous coronavirus data. Ontologies play an important role in standard-based knowledge and data representation, integration, sharing, and analysis. Accordingly, we initiated the (...) development of the community-based Coronavirus Infectious Disease Ontology in early 2020. -/- As an Open Biomedical Ontology (OBO) library ontology, CIDO is open source and interoperable with other existing OBO ontologies. CIDO is aligned with the Basic Formal Ontology and Viral Infectious Disease Ontology. CIDO has imported terms from over 30 OBO ontologies. For example, CIDO imports all SARS-CoV-2 protein terms from the Protein Ontology, COVID-19-related phenotype terms from the Human Phenotype Ontology, and over 100 COVID-19 terms for vaccines (both authorized and in clinical trial) from the Vaccine Ontology. CIDO systematically represents variants of SARS-CoV-2 viruses and over 300 amino acid substitutions therein, along with over 300 diagnostic kits and methods. CIDO also describes hundreds of host-coronavirus protein-protein interactions (PPIs) and the drugs that target proteins in these PPIs. CIDO has been used to model COVID-19 related phenomena in areas such as epidemiology. The scope of CIDO was evaluated by visual analysis supported by a summarization network method. CIDO has been used in various applications such as term standardization, inference, natural language processing (NLP) and clinical data integration. We have applied the amino acid variant knowledge present in CIDO to analyze differences between SARS-CoV-2 Delta and Omicron variants. CIDO's integrative host-coronavirus PPIs and drug-target knowledge has also been used to support drug repurposing for COVID-19 treatment. -/- CIDO represents entities and relations in the domain of coronavirus diseases with a special focus on COVID-19. It supports shared knowledge representation, data and metadata standardization and integration, and has been used in a range of applications. (shrink)

The COVID-19 pandemic prompted immense work on the investigation of the SARS-CoV-2 virus. Rapid, accurate, and consistent interpretation of generated data is thereby of fundamental concern. Ontologies––structured, controlled, vocabularies––are designed to support consistency of interpretation, and thereby to prevent the development of data silos. This paper describes how ontologies are serving this purpose in the COVID-19 research domain, by following principles of the Open Biological and Biomedical Ontology (OBO) Foundry and by reusing existing ontologies such as the Infectious Disease Ontology (...) (IDO) Core, which provides terminological content common to investigations of all infectious diseases. We report here on the development of an IDO extension, the Virus Infectious Disease Ontology (VIDO), a reference ontology covering viral infectious diseases. We motivate term and definition choices, showcase reuse of terms from existing OBO ontologies, illustrate how ontological decisions were motivated by relevant life science research, and connect VIDO to the Coronavirus Infectious Disease Ontology (CIDO). We next use terms from these ontologies to annotate selections from life science research on SARS-CoV-2, highlighting how ontologies employing a common upper-level vocabulary may be seamlessly interwoven. Finally, we outline future work, including bacteria and fungus infectious disease reference ontologies currently under development, then cite uses of VIDO and CIDO in host-pathogen data analytics, electronic health record annotation, and ontology conflict-resolution projects. (shrink)

The COVID-19 pandemic prompted immense work on the investigation of the SARS-CoV-2 virus. Ontologies – structured, controlled, vocabularies – are designed to support consistency of interpretation, and thereby to prevent the development of data silos. This paper describes how ontologies are serving this purpose in the virus research domain, following the principles of the Open Biological and Biomedical Ontology (OBO) Foundry and drawing on the resources of the Infectious Disease Ontology (IDO) Core. We report the development of the Virus Infectious (...) Disease Ontology (VIDO), a reference ontology extending IDO Core covering viral infectious diseases. We examine newly minted terms, showcase ontology term reuse, and illustrate the use of VIDO by annotating selections from recent life science research on SAR-CoV-2, in the interest of supporting machine learning projects. (shrink)

Functional diversity holds the promise of understanding ecosystems in ways unattainable by taxonomic diversity studies. Underlying this promise is the intuition that investigating the diversity of what organisms actually do—i.e. their functional traits—within ecosystems will generate more reliable insights into the ways these ecosystems behave, compared to considering only species diversity. But this promise also rests on several conceptual and methodological—i.e. epistemic—assumptions that cut across various theories and domains of ecology. These assumptions should be clearly addressed, notably for the sake (...) of an effective comparison and integration across domains, and for assessing whether or not to use functional diversity approaches for developing ecological management strategies. The objective of this contribution is to identify and critically analyze the most salient of these assumptions. To this aim, we provide an “epistemic roadmap” that pinpoints these assumptions along a set of historical, conceptual, empirical, theoretical, and normative dimensions. (shrink)

Philosophers and social scientists of diverse orientations have suggested that the pragmatics of semiosis is germane to a dynamic account of meaning as process. Semiosis, the central focus of C. S. Peirce's pragmatic philosophy, may hold a key to perennial problems regarding meaning. Indeed, Peirce's thought should be deemed seminal when placed within the cognitive sciences, especially with respect to his concept of the sign. According to Peirce's pragmatic model, semiosis is a triadic, time-bound, context-sensitive, interpreter-dependent, materially extended dynamic process. (...) Semiosis involves inter-relatedness and inter-action between signs, their objects, acts and events in the world, and the semiotic agents who are in the process of making and taking them. (shrink)

Foundational theories of mental content seek to identify the conditions under which a mental representation expresses, in the mind of a particular thinker, a particular content. Normativists endorse the following general sort of foundational theory of mental content: A mental representation r expresses concept C for agent S just in case S ought to use r in conformity with some particular pattern of use associated with C. In response to Normativist theories of content, Kathrin Glüer-Pagin and Åsa Wikforss propose a (...) dilemma, alleging that Normativism either entails a vicious regress or falls prey to a charge of idleness. In this paper, I respond to this argument. I argue that Normativism can avoid the commitments that generate the regress and does not propose the sort of explanation required to charge that its explanation has been shown to be problematically idle. The regress-generating commitment to be avoided is, roughly, that tokened, contentful mental states are the product of rule-following. The explanatory task Normativists should disavow is that of explaining how it is that beliefs and other contentful mental states are produced. I argue that Normativism, properly understood as a theory of content, does not provide this kind of psychological explanation, and therefore does not entail that such explanations are to be given in terms of rule-following. If this is correct, Normativism is not the proper target of the dilemma offered by Glüer-Pagin and Wikforss. Understanding why one might construe Normativism in the way Glüer-Pagin and Wikforss must, and how, properly understood, it avoids their dilemma, can help us to appreciate the attractiveness of a genuinely normative theory of content and the importance of paying careful attention to the sort of normativity involved in norm-based theories of content. (shrink)

Ce texte vise à proposer quelques arguments pour une critique empiriste de la hiérarchie des normes, c'est-à-dire pour les besoins d'une science du droit descriptive et explicative. La hiérarchie des normes est à la fois objet d’étude scientifique, et théorie construisant cet objet. Une approche empiriste nécessite la formalisation de quelques concepts et une justification minimale de la possibilité d'une science juridique empiriste : ce seront les objets des premiers points de ce texte. Il s'agira ensuite de proposer une formulation (...) de la conception de la hiérarchie des normes à laquelle l’empirisme peut conduire, permettant de réévaluer la théorie (normativiste) de la hiérarchie des normes proposée par Kelsen comme une théorie politique, qui ne décrit pas son objet mais le construit comme contrainte. (shrink)

What did Descartes regard as subject to doubt, and what was beyond doubt, in the Meditations? A review of the Objections and Descartes' reactions in the Replies provides some useful clarification, but viewing Descartes' method of doubt in conjunction with his professed theory of knowledge in the Rules for the Direction of the Mind further elucidates his own understanding of the project. In the Rules, Descartes introduces the mind's intuition of "simple natures" as the atomistic basis of all knowledge, its (...) form as well as its content. The simple natures, Descartes claims, can only be understood thoroughly, and I argue that Descartes' doubt in the  Meditations appears not to include doubt of simple natures. A related attempt to link the earlier work to the Meditations by Peter Schouls is considered and criticized; I suggest as an alternative that there are three classes of objects pertaining to the construction of knowledge in the Meditations: a) first principles and concepts that are constituents of other knowledge, intuited and not doubted, nor called 'knowledge' by Descartes; b) what Descartes calls clearly and distinctly perceived knowledge that survives doubt, known through a kind of intuition; and c) science, as remembered collections of clearly and distinctly perceived knowledge. Finally, because the two works do have important dissimilarities, I also consider how differences between the Rules and the Meditations might affect the applicability of the simple natures to the arguments of the Meditations, especially in the light of clues found in the intellectual autobiography of the Discourse on Method. (shrink)

This essay develops a thesis regarding the manner through which social institutions such as property come to be, and a second thesis regarding how such institutions ought to be legitimated. The two theses, outlined below, are in need of explication largely because of the entrenched cultural influence of an erroneous reading of social contract theory concerning the historical origins of the state. In part A, I introduce that error. I proceed in parts B and C to present two central theses (...) about institutions: Thesis 1: The construction of social institutions can be understood clearly only if that topic is distinguished from the topic of their normative status, or legitimacy. Thesis 2: The normative status of such institutions can be understood properly only if their legitimacy is distinguished from the legitimacy of government. With the distinction of Thesis 1 in place, an informative socio-technical account of the construction of institutions can be formulated with little ado. This allows for clarity concerning how institutions might be legitimated (Thesis 2), and consequently, legitimation can proceed. Some fundamentals of legitimation from a Kantian perspective are outlined in Part C. (shrink)

I present a novel position vis-à-vis the views in the Latin American philosophy literature regarding whether subjects more aptly use "Hispanic" or "Latinx" to refer to Hispanic- or-Latinx people. To this end, I will argue (C) the term "Afro-Latinx" is more apt than "Hispanic" or "Latinx" in a significant number of cases. This conclusion is based on three premises. The first premise (P1) is that use of "Afro-Latinx" provides subjects with understanding of how certain events depend on anti-Black racism, US (...) society's racially unjust structure and US colonial policy. The second premise (P2) is that that neither the term "Hispanic" nor the term "Latinx" provide subjects with this understanding of how certain events depend on anti-Black racism, US society's racially unjust structure and US colonial policy. The third premise (P3) is that the term "Afro-Latinx" provides subjects with more understanding of these events than the terms, "Hispanic" and "Latinx.” I present three cases which feature the experiences of Afro-Dominican people. The 1992 murder of Dominican man Kiko García by New York Police officer O’Keefe is first case. The second case is the Washington Heights Uprising that ensued Kiko García’ murder. An instance where a nightclub bouncer in the Dominican Republic denies a Dominican women entry because of her hair texture composes the third case. (shrink)

Le respect de la vie privée et de l’intimité est un droit reconnu aux usagers des services de santé et des services sociaux par différents codes d’éthique, par la Charte des droits et libertés de la personne du Québec et par la Loi sur les services de santé et les services sociaux. Pour autant, la signification que prend ce droit demeure incertaine. Il n’y a pas une signification, mais bien des significations. S’appuyant sur un important travail d’observation dans deux comités (...) d’éthique clinique situés dans des établissements de santé et de services sociaux, les auteurs présentent et analysent ici un certain nombre de situations litigieuses dans lesquelles une interprétation du droit à la vie privée et à l’intimité a été faite. Au terme de l’exercice, il ressort entre autres que, selon les situations analysées, les discussions qui se font dans les CÉC conduisent à des modalités différentes (« déplacement et hiérarchisation », « opposition et évitement », « ouverture et compromis », « élargissement et remise en question ») qui ont pour effet de changer le regard porté sur l’usager et plus spécifiquement de faire comprendre son point de vue. En outre, si le droit à la vie privée et à l’intimité contribue à modifier l’interprétation que l’on se fait d’une situation ou des usagers, il est lui-même objet d’interprétation. C’est la diversité de sens qu’il peut prendre qui lui préserve son pouvoir d’interroger. (shrink)

This paper studies proof systems for the logics of super-strict implication ST2–ST5, which correspond to C.I. Lewis’ systems S2–S5 freed of paradoxes of strict implication. First, Hilbert-style axiomatic systems are introduced and shown to be sound and complete by simulating STn in Sn and backsimulating Sn in STn, respectively(for n=2,...,5). Next, G3-style labelled sequent calculi are investigated. It is shown that these calculi have the good structural properties that are distinctive of G3-style calculi, that they are sound and complete, and (...) it is shown that the proof search for G3. ST2 is terminating and therefore the logic is decidable. (shrink)

CATEGORY: Philosophy play; historical fiction; comedy; social criticism. STORYLINE: Katherine, a slightly neurotic American lawyer, has tried very hard to find personal happiness in the form of friends and lovers. But she has not succeeded, and is therefore very unhappy. So she travels to London, hoping that Christianus — a well-known satisfactionist — may be able to help her. TOPICS: In the course of the play, Katherine and Christianus converse about many philosophical issues: the modern American military presence in Iraq; (...) the meaning of life; the ethics of abortion; assessing WHO death statistics; the potential personhood of foetuses; ancient Egyptian moustaches and beards; defining criteria for progress in human society; objectivity and subjectivity; Chicago futures trading developments; the virtues of cryonics technology; a U.S. Supreme Court case; important and unimportant knowledge; and spiritualist dualism vs. scientific materialism . NOTES: This work features elaborate footnotes and comments by the author, to enhance the reader's experience of the play and its philosophizing characters. (shrink)

Quand on se penche sur l’héritage philosophique de Turing, deux risques se posent. Le premier, c’est de le réduire à son test célèbre (Turing 1950). Ce qui a toutefois le mérite de la clarté. N’importe qui peut reconnaître la contribution en question et la situer dans le débat important sur la philosophie de l’intelligence artificielle. Le second risque est de le diluer dans un récit universel, faisant des idées deTuring les graines de tout ce que nous faisons et savons aujourd’hui. (...) Ceci a l’avantage de reconnaître la grandeur de ce génie. Cependant, dans un cas comme dans l’autre, nous allons probablement moins identifier les contributions conceptuelles deTuring qui nous ont aidés à forger un discours philosophique contemporain et qui méritent d’être approfondies et développées. Pour éviter ces deux risques, je me concentrerai dans les pages suivantes sur trois leçons philosophiques spécifiques, qui me semblent particulièrement significatives pour l’émergence de la philosophie de l’information et ses développements. Je ne propose pas ici une analyse philologique ni savante,mais un exercice minimaliste, herméneutique. Façon de faire écho àla démarche deTuring et de rendre hommage àson génie extraordinaire :ses interprètes n’ont pas fini de tirer parti de son héritage intellectuel. Je souhaite qu’un jourTuring devienne aussi important que Frege dans notre canon philosophique. (shrink)

In this paper, we intend to promote an analysis of the use of the artificial language Heptapod B in Story of Your Life written by Ted Chiang and in its filmic adaptation, Arrival, written by Eric Heisserer and directed by Denis Villeneuve in relation to the authors’ views on the metaphysics of time. In both literary and filmic texts, the glossopoeia is used as a plot device upon which the alien race’s time perception is constructed and explicated in connexion (...) with the strong metaphor provided by Fermat’s principle of least time. Throughout the article, we discuss these hybrid interfaces of literature, cinema and science, researching the stories’ specific diegeses, the writers’ own elicitations as well as various texts on the Philosophy of time. The result consists of a comprehensive exegesis of the problematics generated by the narratives and an extensive philosophical debate on the subject. (shrink)

Here I consider the two most venerated arguments about the existence of God: the Ontological Argument and the Argument from Evil. The Ontological Argument purports to show that God’s nature guarantees that God exists. The Argument from Evil purports to show that God’s nature, combined with some plausible facts about the way the world is, guarantees (or is very compelling grounds for thinking) that God does not exist. Obviously, both arguments cannot be sound. But I argue here that they are (...) both unsound for the very same reason. (shrink)

There are many alleged problems with trusting another person’s moral testimony, perhaps the most prominent of which is that it fails to deliver moral understanding. Without moral understanding, one cannot do the right thing for the right reason, and so acting on trusted moral testimony lacks moral worth. This chapter, however, argues that moral advice differs from moral testimony, differs from it in a way that enables a defender of moral advice to parry this worry about moral worth. The basic (...) idea is that an advisor and an advisee can together constitute a joint agent, and that this joint agent’s action can indeed have moral worth. So while the advisee himself might not do the right thing for the right reason (this because all alone he lacks the right reason), and while the advisor herself might not do the right thing for the right reason (this because all alone she does not do the right thing), they together do the right for the right reason. (shrink)

The overwhelming majority of those who theorize about implicit biases posit that these biases are caused by some sort of association. However, what exactly this claim amounts to is rarely specified. In this paper, I distinguish between different understandings of association, and I argue that the crucial senses of association for elucidating implicit bias are the cognitive structure and mental process senses. A hypothesis is subsequently derived: if associations really underpin implicit biases, then implicit biases should be modulated by counterconditioning (...) or extinction but should not be modulated by rational argumentation or logical interventions. This hypothesis is false; implicit biases are not predicated on any associative structures or associative processes but instead arise because of unconscious propositionally structured beliefs. I conclude by discussing how the case study of implicit bias illuminates problems with popular dual-process models of cognitive architecture. (shrink)

In some recent works, Crupi and Iacona have outlined an analysis of ‘if’ based on Chrysippus’ idea that a conditional holds whenever the negation of its consequent is incompatible with its antecedent. This paper presents a sound and complete system of conditional logic that accommodates their analysis. The soundness and completeness proofs that will be provided rely on a general method elaborated by Raidl, which applies to a wide range of systems of conditional logic.

Except for a patina of twenty-first century modernity, in the form of logic and language, philosophy is exactly the same now as it ever was; it has made no progress whatsoever. We philosophers wrestle with the exact same problems the Pre-Socratics wrestled with. Even more outrageous than this claim, though, is the blatant denial of its obvious truth by many practicing philosophers. The No-Progress view is explored and argued for here. Its denial is diagnosed as a form of anosognosia, a (...) mental condition where the affected person denies there is any problem. The theories of two eminent philosophers supporting the No-Progress view are also examined. The final section offers an explanation for philosophy 's inability to solve any philosophical problem, ever. The paper closes with some reflections on philosophy 's future. (shrink)

A Bayesian mind is, at its core, a rational mind. Bayesianism is thus well-suited to predict and explain mental processes that best exemplify our ability to be rational. However, evidence from belief acquisition and change appears to show that we do not acquire and update information in a Bayesian way. Instead, the principles of belief acquisition and updating seem grounded in maintaining a psychological immune system rather than in approximating a Bayesian processor.

Number words seemingly function both as adjectives attributing cardinality properties to collections, as in Frege’s ‘Jupiter has four moons’, and as names referring to numbers, as in Frege’s ‘The number of Jupiter’s moons is four’. This leads to what Thomas Hofweber calls Frege’s Other Puzzle: How can number words function as modifiers and as singular terms if neither adjectives nor names can serve multiple semantic functions? Whereas most philosophers deny that one of these uses is genuine, we instead argue that (...) number words, like many related expressions, are polymorphic, having multiple uses whose meanings are systematically related via type shifting. (shrink)

In this paper, I develop a novel account of concept acquisition for an atomistic theory of concepts. Conceptual atomism is rarely explored in cognitive science because of the feeling that atomistic treatments of concepts are inherently nativistic. My model illustrates, on the contrary, that atomism does not preclude the learning of a concept.

On an intellectualist approach to belief, the intellectual endorsement of a proposition (such as “The working poor deserve as much respect as the handsomely paid”) is sufficient or nearly sufficient for believing it. On a pragmatic approach to belief, intellectual endorsement is not enough. Belief is behaviorally demanding. To really, fully believe, you must also “walk the walk.” This chapter argues that the pragmatic approach is preferable on pragmatic grounds: It rightly directs our attention to what matters most in thinking (...) about belief. (shrink)

At some point in the future – perhaps within the next few decades – it will be possible for foetuses to develop completely outside the womb. Ectogenesis, as this technology is called, raises substantial issues for the abortion debate. One such issue is that it will become possible for a woman to have an abortion, in the sense of having the foetus removed from her body, but for the foetus to be kept alive. We argue that while there is a (...) right to an abortion, there are reasons to doubt that there is a right to the death of the foetus. Our strategy in this essay is to consider and reject three arguments in favour of this latter right. The first claims that women have a right not to be biological mothers, the second that women have a right to genetic privacy, and the third that a foetus is one's property. Furthermore, we argue that it follows from rejecting the third claim that genetic parents also lack a right to the destruction of cryopreserved embryos used for in vitro fertilization. The conclusion that a woman possesses no right to the death of the foetus builds upon the claims that other pro-choice advocates, such as Judith Jarvis Thomson, have made. (shrink)

“What is the structure of thought?” is as central a question as any in cognitive science. A classic answer to this question has appealed to a Language of Thought (LoT). We point to emerging research from disparate branches of the field that supports the LoT hypothesis, but also uncovers diversity in LoTs across cognitive systems, stages of development, and species. Our letter formulates open research questions for cognitive science concerning the varieties of rules and representations that underwrite various LoT-based systems (...) and how these variations can help researchers taxonomize cognitive systems. (shrink)

Consider the following three claims. (i) There are no truths of the form ‘p and ~p’. (ii) No one holds a belief of the form ‘p and ~p’. (iii) No one holds any pairs of beliefs of the form {p, ~p}. Irad Kimhi has recently argued, in effect, that each of these claims holds and holds with metaphysical necessity. Furthermore, he maintains that they are ultimately not distinct claims at all, but the same claim formulated in different ways. I find (...) his argument suggestive, if not entirely transparent. I do think there is at least an important kernel of truth even in (iii), and that (i) ultimately explains what’s right about the other two. Consciousness of an impossibility makes belief in the obtaining of the corresponding state of affairs an impossibility. Interestingly, an appreciation of this fact brings into view a novel conception of inference, according to which it consists in the consciousness of necessity. This essay outlines and defends this position. A central element of the defense is that it reveals how reasoners satisfy what Paul Boghossian calls the Taking Condition and do so without engendering regress. (shrink)

This essay attempts to clarify the nature and structure of aliefs. First I distinguish between a robust notion of aliefs and a deflated one. A robust notion of aliefs would introduce aliefs into our psychological ontology as a hitherto undiscovered kind, whereas a deflated notion of aliefs would identify aliefs as a set of pre-existing psychological states. I then propose the following dilemma: one the one hand, if aliefs have propositional content, then it is unclear exactly how aliefs differ from (...) psychological states we already countenance, in which case there is no robust notion of aliefs; on the other, if aliefs just contain associative content, then they cannot do the explanatory work set out for them, in which case there is no reason to posit aliefs at all. Thus, it appears that we have little reason to posit the novel category of robust aliefs. (shrink)

Whole Brain Emulation has been championed as the most promising, well-defined route to achieving both human-level artificial intelligence and superintelligence. It has even been touted as a viable route to achieving immortality through brain uploading. WBE is not a fringe theory: the doctrine of Computationalism in philosophy of mind lends credence to the in-principle feasibility of the idea, and the standing of the Human Connectome Project makes it appear to be feasible in practice. Computationalism is a popular, independently plausible theory, (...) and Connectomics a well-funded empirical research program, so optimism about WBE is understandable. However, this optimism may be misplaced. This article argues that WBE is, at best, no more compelling than any of the other far-flung routes to achieving superintelligence. Similarly skeptical conclusions are found regarding immortality. The essay concludes with some positive considerations in favor of the Biological Theory of consciousness, as well as morals about the limits of Computationalism in both artificial intelligence and the philosophy of mind more generally. (shrink)

What is a concept? Philosophers have given many different answers to this question, reflecting a wide variety of approaches to the study of mind and language. Nonetheless, at the most general level, there are two dominant frameworks in contemporary philosophy. One proposes that concepts are mental representations, while the other proposes that they are abstract objects. This paper looks at the differences between these two approaches, the prospects for combining them, and the issues that are involved in the dispute. We (...) argue that powerful motivations have been offered in support of both frameworks. This suggests the possibility of combining the two. Unlike Frege, we hold that the resulting position is perfectly coherent and well worth considering. Nonetheless, we argue that it should be rejected along with the view that concepts are abstract objects. (shrink)

I offer an interpretation of the puzzle posed by Greenberg’s failure to come to terms with the explosion of postmodernist experimentation in the 1960’s. Greenberg, one of the most influential critics of the immediately preceding period and a strong supporter of New York abstract expressionism and color field painting, is indelibly associated with modernist schools of painting. His short essay, “Modernist Painting”, valorized precisely these movements and was a tour de force catapulting Greenberg into critic superstar status; it is still (...) one of the central documents in debates about modernism. Because Greenberg there makes references to Kant’s aesthetics in identifying the virtues of modernism his account is usually interpreted in terms of the formalism of the period and Kant’s analytic of the beautiful. This offers a reading of Greenberg as a formalist and as identifying modernism with a concern for the formal properties of art, the flatness of the picture frame and the formal relations between the aesthetic properties. Greenberg was also celebrated as having a legendary acuteness of aesthetic appreciation—a critical eye penetrating immediately to a work’s aesthetic depth. (shrink)

I describe a phenomenon that has not yet been described in the epistemology literature. I label this phenomenon expression-style exclusion. Expression-style exclusion is an example of how s...

Aristotle's treatment of the choice between the political and contemplative lives (in EN I 5 and X 7-8) can seem awkward. To offer one explanation of this, I argue that when he invokes self-sufficience (autarkeia) as a criterion for this choice, he appeals to two different and incompatible specifications of "lacking nothing." On one specification, suitable to a human being living as a political animal and thus seeking to realize his end as an engaged citizen of a polis, a person (...) lacks nothing by possessing a wide range of goods that directly require other people. On the other, more suitable to a god or a beast, a person lacks nothing by having no need of goods that directly require other people. The ambiguity of this criterion renders the choice between the political and contemplative lives difficult. (shrink)

Occasionally, in the introductory philosophy courses I teach, a student will give an interesting argument for non-belief in God. Though I have never seen this argument in print, it seems familiar. Basically, the argument goes like this. Religious belief is largely determined by geography – where you are born and raised largely determines your religious beliefs. But believing something just because of where you are born and raised is not a reliable indication of whether that belief turns out to be (...) true. So, in some sense, you are not justified in your religious beliefs. I will attempt a more rigorous reconstruction of this argument and offer an objection to it. (shrink)

According to one interpretation of Aristotle’s famous thesis, to say that action is the conclusion of practical reasoning is to say that action is itself a judgment about what to do. A central motivation for the thesis is that it suggests a path for understanding the non-observational character of practical knowledge. If actions are judgments, then whatever explains an agent’s knowledge of the relevant judgment can explain her knowledge of the action. I call the approach to action that accepts Aristotle’s (...) thesis so understood Normativism. There are many reasons to doubt Normativism. My aim in this paper is to defend Normativism from a pair of arguments that purport to show that a normative judgment could not constitute an event in material reality and also the knowledge of such a happening. Both highlight a putative mismatch between the natures of, on the one hand, an agent’s knowledge of her normative judgment and, on the other, her knowledge of her own action. According to these objections, knowledge of action includes (a) perceptual knowledge and (b) knowledge of what one has already done. But knowledge of a normative judgment includes neither. Hence knowledge of action cannot simply be knowledge of a normative judgment. (shrink)

How do you know what you want? Philosophers have lately developed sophisticated accounts of the practical and doxastic knowledge that are rooted in the point of view of the subject. Our ability to just say what we are doing or what we believe—that is, to say so authoritatively, but not on the basis of observation or evidence—is an aspect of our ability to reason about the good and the true. However, no analogous route to orectic self-knowledge is feasible. Knowledge of (...) desire is distinctive in being a matter of our affective response to imagined prospects. An examination of this idea yields the following thesis: I know what I want just in case the object pursued in anticipation of a certain pleasure actually yields the anticipated pleasure. (shrink)

Rationalization, in our intended sense of the term, occurs when a person favors a particular conclusion as a result of some factor (such as self-interest) that is of little justificatory epistemic relevance, if that factor then biases the person’s subsequent search for, and assessment of, potential justifications for the conclusion. Empirical evidence suggests that rationalization is common in people’s moral and philosophical thought. We argue that it is likely that the moral and philosophical thought of philosophers and moral psychologists is (...) also pervaded by rationalization. Moreover, although rationalization has some benefits, overall it would be epistemically better if the moral and philosophical reasoning of people, including professional academics, were not as heavily influenced by rationalization as it likely is. We discuss the significance of our arguments for cognitive management and epistemic responsibility. (shrink)

The advanced division of cognitive labor generates a set of challenges and opportunities for professional philosophers. In this paper, I re-characterize the nature of synthetic philosophy in light of these challenges and opportunities. In part 1, I’ll remind you of the centrality of the division of labor to Plato’s Republic, and why this is especially salient in his banishment of the poets from his Kallipolis. I’ll then focus on the significance of an easily overlooked albeit rather significant character, Damon, mentioned (...) in that dialogue. I’ll argue that if we take the relationship between Socrates and Damon seriously, we’ll notice that in modeling imperfect polities, Plato inscribes Socrates within the advanced division of cognitive labor who defers to Damon as an expert on a key feature of the art of government. In fact, I’ll argue that in Republic, Plato offers us at least two ways to conceptualize philosophy’s relationship to the sciences, and that he alerts us to the social significance of this. In part 2, I’ll re-introduce my conceptualization of synthetic philosophy and restate it. Back in 2019 I published a short paper on it that went viral and was immediately used by others. Reflection on their use instructed me about an ambiguity in my position. Building on the material in parts 1-2, in part 3, I’ll contrast my account with a number of ways that Philip Kitcher has conceptualized synthetic philosophy in order to make more precise the version promoted here. (shrink)

This paper takes a fresh look at the nativism–empiricism debate, presenting and defending a nativist perspective on the mind. Empiricism is often taken to be the default view both in philosophy and in cognitive science. This paper argues, on the contrary, that there should be no presumption in favor of empiricism (or nativism), but that the existing evidence suggests that nativism is the most promising framework for the scientific study of the mind. Our case on behalf of nativism has four (...) parts. (1) We characterize nativism’s core commitments relative to the contemporary debate between empiricists and nativists, (2) we present the positive case for nativism in terms of two central nativist arguments (the poverty of the stimulus argument and the argument from animals), (3) we respond to a number of influential objections to nativist theories, and (4) we explain the nativist approach to the conceptual system. (shrink)

In debates over life and death it is often said that one should err on the side of caution—that is, on the side of life. In light of the recent case of Terri Schiavo, it is explained how the “err-on-the-side-of-life” argument proceeds, and an objection to it is offered.